Finite model theory

Results: 870



#Item
291FO / Finite model theory

Microsoft Word - Follow Up with Employer Quick Tips

Add to Reading List

Source URL: www.careerspots.com

Language: English - Date: 2014-07-22 17:53:40
292Descriptive complexity / SO / Dutch East India Company / FO / 2nd millennium / Netherlands / Finite model theory / Mathematics / Computational complexity theory

Microsoft Word - DPO.docx

Add to Reading List

Source URL: educationhp.org

Language: English - Date: 2014-03-29 14:11:37
293Game theory / General equilibrium theory / Economic model / Supply and demand / Yield curve / Cox–Ingersoll–Ross model / Bellman equation / Louis Bachelier / Quantitative analyst / Economics / Terminology / Mathematical finance

Term structure Existing term structure models Our approach The Model Dynamic programming Finite number of different consumption commitments

Add to Reading List

Source URL: www.fields.utoronto.ca

Language: English - Date: 2010-06-20 12:06:18
294Polaris Award / English orthography / FO / Finite model theory / English phonology

National Farm to School Network

Add to Reading List

Source URL: docs.schoolnutrition.org

Language: English - Date: 2009-06-09 13:21:37
295Petroleum engineering / Viscosity / Dimethylformamide / FO / Water / HO / Chemistry / Finite model theory / Oilfield terminology

Indian Journal of Pure & Applied Physics Vol. 37, May 1999, pp[removed]Ultrasonic velocity, viscosity and density studies in binary mixtures of dimethyl formamide and ethylmethylketone at diffe rent temperatures V K Sya

Add to Reading List

Source URL: nopr.niscair.res.in

Language: English - Date: 2014-02-27 05:46:57
296Model theory / Operator theory / Linear algebra / Formal languages / Petri net / Trace / Finite set / Von Neumann algebra / Interpretation / Mathematics / Mathematical logic / Logic

Journal of Computer Security[removed]–1210 DOI[removed]JCS[removed]IOS Press 1157

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-08-21 11:18:30
297Analysis / Sigma-algebra / Support / Measure / Model theory / Σ-finite measure / Independence / Filter / Lebesgue measure / Measure theory / Mathematics / Probability theory

Measure, Randomness and Sublocales Alex Simpson Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, UK Abstract

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-12-01 11:19:14
298Estimation theory / Educational psychology / Expectation–maximization algorithm / Missing data / Rasch model / Mixture model / Latent variable / Maximum likelihood / Parameter / Statistics / Statistical models / Psychometrics

Estimation of Item Response Models Using the EM Algorithm for Finite Mixtures

Add to Reading List

Source URL: act.org

Language: English - Date: 2015-01-06 13:08:25
299Automata theory / Mathematics / FO / Finite model theory / Temporal logic

Information Processing Letters[removed]185 North-Holland 7 October[removed]DEFINING LIVENESS *

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-08-20 15:42:24
300Finite model theory / Ontology / Descriptive complexity / Conjunctive query / Database theory / Computational complexity theory / Conjunctive normal form / FO / Description logic / Theoretical computer science / Mathematics / Mathematical logic

Journal of Artificial Intelligence Research[removed]204 Submitted 06/07; published[removed]Conjunctive Query Answering for the Description Logic SHIQ

Add to Reading List

Source URL: www.jair.org

Language: English - Date: 2009-08-06 19:21:15
UPDATE